Formal Methods in System Design manuscript No. (will be inserted by the editor) Hybrid Systems: From Verification to Falsification by Combining Motion Planning and Discrete Search Erion Plaku · Lydia E. Kavraki · Moshe

Source URL: www.cs.rice.edu

FIRST WATT B4 USER MANUAL By Nelson Pass The B4 is a stereo active crossover filter system designed for high performance and flexibility and is unique in several ways. First, it uses only direct-coupled matched discrete

Source URL: www.firstwatt.com

BRICS Basic Research in Computer Science ˇ BRICS RSF. Capkoviˇ c: Modelling and Control of Discrete Event Dynamic Systems

Source URL: www.brics.dk

• Systems
• Ethology
• Knowledge
• Discrete event dynamic system
• Petri net
• Scientific modelling
• Dynamical system
• Systems theory
• Science
• Control theory
• Cybernetics

Discrete Applied Mathematics–49 Annealed replication: a new heuristic for the maximum clique problem Immanuel M. Bomzea; ∗ , Marco Budinichb , Marcello Pelilloc , Claudio Rossic

Source URL: www.dais.unive.it

• NP-complete problems
• Functional languages
• Procedural programming languages
• Recursion
• Clique problem
• Mathematical optimization
• Clique
• Independent set
• Dynamical system
• Theoretical computer science
• Mathematics
• Applied mathematics

Reachability-Guided Sampling for Planning Under Differential Constraints Alexander Shkolnik, Matthew Walter, and Russ Tedrake Abstract— Rapidly-exploring Random Trees (RRTs) are widely used to solve large planning prob

Source URL: ttic.uchicago.edu

• Robot control
• Artificial intelligence
• Geometry
• Discrete geometry
• Motion planning
• Voronoi diagram
• Tree
• Nonholonomic system
• Bridge
• Search algorithms
• Mathematics
• Rapidly-exploring random tree

Arch. Rational Mech. Anal–619 Digital Object Identifier (DOIs00205From Discrete Visco-Elasticity to Continuum Rate-Independent Plasticity: Rigorous Results Alexander Mielke & Lev T

Source URL: hera.polytechnique.fr

• Oilfield terminology
• Petroleum engineering
• Viscosity
• Dynamical system
• Plasticity
• Entropy
• Continuous function
• Fracture mechanics
• Normal distribution
• Physics
• Materials science
• Mechanics

ArtBus Manifest, Feb. 8, 07 by Ed Bennett (sbennettSYMBOLsaic.edu) ArtBus is a hardware bus and a communications protocol for relatively low speed, low data rate command and control of discrete sensors and actuators (not

Source URL: www.sketching07.com

• Computing
• Bluetooth
• Computer
• Arduino
• Embedded system
• I²C
• Atmel AVR
• Electronics
• Microcontrollers
• Technology

ON ASYNCHRONOUS DYNAMIC NEURAL FIELD COMPUTATION Wahiba Taouali, Thierry Vi´eville, Nicolas Rougier, Fr´ed´eric Alexandre INRIA Cortex http://cortex.loria.fr ABSTRACT The hallmark of most artificial neural networks is

Source URL: www-sop.inria.fr

• Science
• Neuroscience
• Artificial neural network
• Neural oscillation
• Discrete event dynamic system
• Actor model
• Asynchronous cellular automaton
• Cellular neural network
• Neural networks
• Computational neuroscience
• Cybernetics

Course Syllabus Template Revised: January 27, 2015 Instructions for using this Course Syllabus Template The syllabus is broken into discrete sections, which can be rearranged, removed, or modified to best fit your course

Source URL: webaccess.msu.edu

• Syllabus
• E-learning
• Virtual learning environment
• CourseWork Course Management System
• Education
• Learning
• Curricula

CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 Sphere Packing with Limited Overlap Mabel Iglesias-Ham ∗

Source URL: www.cccg.ca

• Crystallography
• Spheres
• Cubes
• Sphere packing
• Packing problem
• Lattice
• Cubic crystal system
• Brillouin zone
• Voronoi diagram
• Geometry
• Mathematics
• Discrete geometry